Du théorème de décomposition à la pureté locale

Conservation du virus de la Peste bovine à l'état lyophilisé

Nouvelles modifications apportées à la méthode de préparation du vaccin

Adaptation du Virus de l'Echtyma Contrgieux à la Culture de Cellules de Singe

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...